More Pages: Lane Page 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79


Book Garden grows the imagination

THE book for studying Boolean-valued models of set theoryNonetheless, you may one day find that you need the Boolean algebra approach. This was the approach developed by Scott and Solovay after Cohen's somewhat inscrutable approach to proving the consistency of not-CH had been adequately digested. The Boolean algebra approach is very elegant and algebraic, and the theorems are often better motivated than they are in the partial orders approach.
When I was a graduate student, I studied both approaches, but eventually forgot much of what I learned about Boolean-valued models because in practice I always relied on the other approach.
Recently, however, in some research I've been doing in an extension of ZFC in an extended language, I found that some of the usual assumptions one can make in doing forcing over ZFC models were no longer applicable in the new setting. Without going into the details, the consequence was that I had to do forcing over non-wellfounded models of ZFC and examine the properties of the resulting forcing extension, perhaps iterating the process omega many times. The only way to do this has been to work with Boolean-valued models M^B of the non-wellfounded ground model M, prove the desired properties within M^B, then collapse with a generic ultrafilter, and go on to the next model.
Well, after that long-winded introduction, my point is this: Bell's treatment of Boolean-valued models is outstanding. I have several of Bell's books and his talent as an expositor is his relentless attention to detail. He does no hand-waving. If you need to face the details of Boolean-valued models, Bell's approach is the right way to go.
In the first chapter he develops the theory enough to prove that all ZFC axioms hold in V^B. In Chapter 2 he shows how to do independence proofs in Boolean valued models -- illustrating with CH and developing the usual results about chain conditions and distributivity, never once working with a 2-valued forcing extension. The third chapter reveals some of the elegance of the Boolean algebra approach in its development of the proof of the consistency of not-AC using group actions. Chapter 4 shows how to get the usual results about forcing involving 2-valued models by considering (V^B)/U, where U is a generic ultrafilter. Chapter 5 is a special chapter about cardinal collapsing, introduced because the Boolean algebras introduced before always preserved cardinals and cofinalities. Finally, chapter 6, which was added in the 1985 edition, treats iterated forcing. This chapter contains details that appear nowhere else and are very handy if you need to deal with such things.
As ever, Bell has done a thorough job in his treatment of this subject. It is the right reference for Boolean-valued models of set theory.


Extraordinary look at a small corner of nature

Simple, elegant, accurate, very highly recommended!

Thoughtful and Engaging

A VIEW FROM ON HIGHByron's almost daily letters to his family, along with his journal entries, terrified the parent in me; gave me a new perspective of what I always considered my reckless youth; made me laugh at exploits that took daring, imagination, and wit; and made me cry over their youthful earnestness, bravado, and self-doubt.
Lane has supplemented his personal document with vignettes of the war years that helps make that era come alive.
Perhaps most remarkable is the sensitivity, the insight, and the skill this writer manifested when he was only eighteen and nineteen years old.


A book to share and enjoy...

My SON loves this book!

Review of the Nervous Newsboy